C. - PDFSEARCH.IO - Document Search Engine

C.
Results: 504177

#	Item
181	Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59 Artificial neural networks Computational neuroscience Machine learning Artificial intelligence Applied mathematics Computational linguistics Natural language processing Speech recognition Convolutional neural network Language model Long short-term memory Neural network
182	A Fistful of Bitcoins Characterizing Payments Among Men with No Names SAR AH MEIKLE JOHN, MAR JORI POMAROLE , GR ANT JORDAN, K I R I L L L E VC H E N KO , DA M O N M C C OY, G E O F F R E Y M . VO E L K E R A N D S T E Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptocurrencies Bitcoin Alternative currencies Money Economy Currency Digital currencies Blockchains Mt. Gox Silk Road Satoshi Nakamoto BitPay
183	Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-20 07:29:02 Mathematics Mathematical analysis Abstract algebra Geometric group theory Measure theory Group theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Building
184	The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:51:47 Computing Software engineering Concurrent computing Concurrency control C++ Parallel computing Transaction processing Concurrency Linearizability C++11 Thread POSIX Threads
185	Toward Practical Applications of Software Synthesis Douglas R. Smith Cordell C. Green Kestrel Institute 3260 Hillview Avenue Palo Alto, California 94304 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-14 19:40:49 Scheduling Operations research Business Economy Production planning Combinatorial optimization Planning Mathematics Schedule Branch and bound Mathematical optimization Linear programming
186	mhtml:file://C:rsageDataalrosoftdows Add to Reading List Source URL: db.cs.washington.edu Language: English - Date: 2018-10-11 15:27:57 Computing Concurrent computing Parallel computing Data Data management Cloud infrastructure Data-intensive computing Online analytical processing Database MapReduce Apache Hadoop Object-relational mapping
187	Opinions of the Colorado Supreme Court are available to the public and can be accessed through the Judicial Branch’s homepage at DATE FILED: July 2, 2018 http://www.courts.state.co.us. Opinions are also posted on the C Add to Reading List Source URL: www.courts.state.co.us Language: English - Date: 2018-07-20 14:41:07 Geography of Colorado Colorado Supreme Court Supreme Court of the United States Denver Ballot title 181
188	Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol Parasara Sridhar Duggirala1, Le Wang1 , Sayan Mitra1 , Mahesh Viswanathan1 , and C´esar Mu˜noz2 1 Add to Reading List Source URL: publish.illinois.edu Language: English - Date: 2014-10-08 18:38:00 Symbol Continuous function Mathematics Ergodic theory Computability theory operator Ergodic flow
189	New features in C# 4.0 Mads Torgersen, C# Language PM Contents 11 Add to Reading List Source URL: code.msdn.microsoft.com Language: English Software engineering Computer programming Computing Method Data types Object-oriented programming languages Programming languages Subroutines Late binding Objective-C Extension method C Sharp 4.0